NAVAL POSTGRADUATE SCHOOL Monterey , California Engineering Automation for Reliable Software
نویسندگان
چکیده
This paper suggests an approach to the development of software testing and debugging automation tools based on precise program behavior models. The program behavior model is defined as a set of events (event trace) with two basic binary relations over events -precedence and inclusion, and represents the temporal relationship between actions. A language for the computations over event traces is developed that provides a basis for assertion checking, debugging queries, execution profiles, and performance measurements. The approach is nondestructive, since assertion texts are separated from the target program source code and can be maintained independently. Assertions can capture the dynamic properties of a particular target program and can formalize the general knowledge of typical bugs and debugging strategies. An event grammar provides a sound basis for assertion language implementation via target program automatic instrumentation. An implementation architecture and preliminary experiments with a prototype assertion checker for the C programming language are discussed.
منابع مشابه
Optimizing Plant-Line Schedules and an Application at Hidden Valley Manufacturing Company
Gerald G. Brown • Robert F. Dell • Ray L. Davis • Richard H. Duff Operations Research Department, Naval Postgraduate School, Monterey, California 93943-5000 Operations Research Department, Naval Postgraduate School, Monterey, California 93943-5000 Hidden Valley Manufacturing Company, 1221 Broadway, Oakland, California 94612-1888 INSIGHT, Inc., Sudley North Business Center, 7960 Oonegan Drive, S...
متن کاملTime-Critical Cooperative Path Following of Multiple Unmanned Aerial Vehicles over Time-Varying Networks
E. Xargay∗ University of Illinois at Urbana-Champaign, Urbana, Illinois 61801 I. Kaminer Naval Postgraduate School, Monterey, California 93943 A. Pascoal Instituto Superior Técnico, 1049 Lisbon, Portugal N. Hovakimyan University of Illinois at Urbana-Champaign, Urbana, Illinois 61801 V. Dobrokhodov and V. Cichella Naval Postgraduate School, Monterey, California 93943 A. P. Aguiar Instituto Supe...
متن کاملCoordinated f ormation control of multiple nonlinear systems
Wei KAN G ,5 , Ning XI ,4 , Jindong TAN 3 , Yiwen ZHAO 4 , Yuechao WAN G (11Department of Applied Mathematics , Naval Postgraduate School , Monterey , CA 93943 ; 21Department of Electrical and Computer Engineering , Michigan State University , East Lansing , MI 48824 ; 31Department of Electrical and Computer Engineering , Michigan Technological University , Houghton , MI 49931 ; 41Shenyang Inst...
متن کامل